Index
Exercises
Services
Service basic.equivalence
Description
Tests whether two terms are semantically equivalent.
Input
Exercise
Context
Context
Output
Bool